dec

operator fun dec(): PositiveInt

Returns this value decremented by 1. If this value is the minimum, it returns the maximum value instead.